Process calculus - PDFSEARCH.IO - Document Search Engine

Process calculus
Results: 249

#	Item
221	Sensors and Actuators in TCOZ Brendan Mahony1Jin Song Dong2 1 Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2000-06-26 22:43:45 Process calculus Channel Electronics Signal Analog-to-digital converter Control theory Actor model Computer programming Communicating sequential processes Digital signal processing Concurrent computing Computing
222	Safety and Line Capacity in Railways – An Approach in Timed CSP Yoshinao Isobe1 , Faron Moller2 , Hoang Nga Nguyen2 , and Markus Roggenbach2, 1 Add to Reading List Source URL: www-compsci.swan.ac.uk Language: English - Date: 2012-07-03 05:34:43 Rhythm Interlocking Process calculus Communicating sequential processes Railway signalling Isochrony Phonetics
223	Actions Speak Louder than Words: Proving Bisimilarity for Context-Free Processes Hans Huttel { [removed] Department of Computer Science Aalborg University Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:01:13 Bisimulation Logic in computer science Method of analytic tableaux Equivalence relation Differential equation Process calculus Theoretical computer science Applied mathematics Mathematics
224	A Compositional Proof System for the Modal -Calculus Henrik Reif Anderseny Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-05-20 10:07:32 Modal logic Philosophical logic Model theory Logic in computer science Dynamic logic Kripke semantics Calculus Process calculus Interpretation Logic Mathematical logic Mathematics
225	Notes on specifying systems in EST Robert Meolic, Tatjana Kapus Faculty of Electrical Engineering and Computer Science University of Maribor Smetanova ulica 17, SI-2000 Maribor, Slovenia {meolic,kapus}@uni-mb.si Add to Reading List Source URL: lms.uni-mb.si Language: English - Date: 2006-10-10 04:27:39 M2 Communicating sequential processes Money Money supply M1 Process calculus Calculus of communicating systems Μ operator Process calculi Economics Macroeconomics
226	Mobile Agent Abstractions: Formulation and Implementation Rushikesh K. Joshi, Harikrishnan C. R., M. Hidayath Ansari Department of Computer Science and Engineering Indian Institute of Technology Bombay Powai, Mumbai-4000 Add to Reading List Source URL: www.cse.iitb.ac.in Language: English - Date: 2008-12-03 09:36:50 Multi-agent systems Agent-based model Software agent Ambient intelligence Mobile agent Agent Computing Science Computer science Process calculi Ambient calculus Artificial intelligence
227	MATHEMATICAL TRIPOS: PART II Michaelmas Term 2013 OPTIMIZATION AND CONTROL Add to Reading List Source URL: www.statslab.cam.ac.uk Language: English - Date: 2013-10-07 06:45:35 Mathematical optimization Dynamic programming Stochastic control Optimal control Wave equation Markov decision process Bellman equation PROPT Heat equation Calculus Mathematical analysis Control theory
228	/asolve/website/lem/lem.dvi Add to Reading List Source URL: www.people.fas.harvard.edu Language: English - Date: 2008-12-29 08:51:58 Lane–Emden equation Polytrope Linear differential equation Polytropic process Calculus of variations Astrophysics Ordinary differential equations Differential equations
229	388 BOOK REVIEWS BULLETIN (New Series) O F THE AMERICAN MATHEMATICAL SOCIETY Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-01-14 13:21:10 Stochastic calculus Markov models Stochastic differential equations Markov chain Diffusion process Infinitesimal generator Itō calculus Brownian motion Continuous-time Markov process Statistics Stochastic processes Markov processes
230	Plan Classical Hsu-Robbins theorem Variations of the fractional Brownian motion Add to Reading List Source URL: samos.univ-paris1.fr Language: English - Date: 2010-07-10 04:12:03 Brownian motion Integral Stochastic calculus Gaussian process Law Statistics Stochastic processes Fractional Brownian motion

UPDATE